Simple fix to getdomaininfo cpu_time calculation for

multi-vcpu guests. From Josh Triplett.

diff --git a/xen/common/dom0_ops.c b/xen/common/dom0_ops.c
index d4d984dc046e90c83c73effa3e5d02327480896c..d189528df2a71804ab33c630e77f507c9edb045f 100644 (file)
--- a/xen/common/dom0_ops.c
+++ b/xen/common/dom0_ops.c
@@ -70,8 +70,7 @@ static void getdomaininfo(struct domain *d, dom0_getdomaininfo_t *info)
             flags &= ~DOMFLAGS_BLOCKED;
         if ( v->vcpu_flags & VCPUF_running )
             flags |= DOMFLAGS_RUNNING;
-        if ( v->cpu_time > cpu_time )
-            cpu_time += v->cpu_time;
+        cpu_time += v->cpu_time;
         vcpu_count++;
     }